Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

In this paper we consider the effect of unitarity bounds sb⩾s≡(E1+E2) cms 2 for the recently proposed types of nonderivative 4-fermion contact interactions. To this purpose we decompose the helicity amplitudes at c.m.s. into partial waves. The bounds are defined to hold for all reaction channels due to the same type of contact interaction. We find sb=τ4π/κ. Here κ is the coupling constant. The factor τ depends on the type of coupling and on the different cases to identify the fermions. (...) It ranges from 1/3 to 4. (shrink)

Bioethical issues remain front-page news, with debate continuing to rage over issues including genetic modification, animal cloning, and "designer babies." With public opinion often driven by media speculation, how can we ensure that informed decisions regarding key bioethical issues are made in a reasoned, objective way? Ideal for students new to the subject, Bioethics: An Introduction for the Biosciences offers a balanced, objective introduction to the field. With a focus on developing powers of reasoning and judgment, the book presents different (...) perspectives on common themes in an impartial way, thereby fostering debate and discussion. The opening section, "The Ethical Groundwork," introduces students to the nature of bioethics and ethical theory. The book goes on to cover a broad range of bioethical issues relating to people, animals, and food, before concluding with an overview of bioethics in practice. Features: * The broadest, most balanced textbook on bioethics available, offering students just the right mix of science and philosophy as well as a clear, objective introduction to the subject * Presents different perspectives on common themes in order to encourage students to question, evaluate, and form their own opinions * Incorporates many useful pedagogical tools including self-assessment questions, topics for discussion, and exercises * Includes references for further reading and useful web sites * A companion website offers resources for both students and instructors. (shrink)

This collection of essays addresses some of the central issues in modern social and political thought, such as: the revival of Marxism and its relevance to the social sciences; the analysis of social and political structures and social movements; and the future of advanced capitalist societies.

Most debate about the ethical implications of modern biotechnology has centred around medical issues, but public concerns over the impact of agricultural biotechnologies have gathered momentum. This volume, resulting from the 55th University of Nottingham Easter School in Agricultural and Food Science, provides a survey of this new field of enquiry. The book will be of interest to a wide readership, including applied philosophers, sociologists, economists and ecologists, as well as biotechnologists and agricultural and food scientists.

Greek art and literature follow parallel courses through the long period from Homer to Euripides. Homer and Euripides, Dipylon vases and the latest white lekythoi are as far apart from each other as it is possible for works in the same medium to be. The distance can only be explained by a similar change in the views of artists, writers, and their public.

in this article, we explore how responsible research and innovation (RRI) interacts with the current political context. We examine the (1) possible consequences for RRI and related agendas if values associated with ‘populist’ movements become more pervasive, (2) the role that a lack of RRI has potentially played in the development of this political context, and (3) how RRI as a concept, practice, and research agenda should respond. We argue that whilst RRI is threatened, it is now more important than (...) ever. We propose that RRI needs to go beyond being a method for facilitating societal input into research and innovation and for highlighting desired impacts. RRI needs to evolve to provide an effective conduit for criticisms and the input of critical thinking and reflexivity into science and innovation, including in terms of economic policy and politics. (shrink)

The comic is one of the principal esthetic categories; it unites the multifaceted experience of the social mind as it assimilates and cognizes the world, particularly the social world, on the basis of axioms of common sense, or even of public opinion about these axioms. Boldly violating the laws of logic and the verisimilitude of images, of normal connections and notions, and playing upon these violations, the comic nonetheless remains firmly on the side of common sense. The comic is inexhaustible (...) in its nuances — from light merriment and entertainment to malicious ridicule and satire, from gross farce to subtle forms of irony and humor. (shrink)

Marx was barely 25 when he produced this astonishing rich body of work-including economic and Philosophical Manuscripts and On the Jewish Question.

The late Sir George Hill in the first volume of his monumental History of Cyprus remarks that the Cypriot syllabary is found in use until the third century B.C. This, it may be noted, is the traditional opinion which for some sixty years has stood the test of time. I read therefore with interest on p. 330 of the same volume, among the addenda, that ‘pottery with incised inscriptions, discovered in 1939 in an excavation four miles from Nicosia, shows that (...) the syllabary continued to be used as late as the first century B.C.’ Sir George Hill in effect is here accepting the claim of Mrs. E. H. Dohan and Professor R. G. Kent, which he has hitherto ignored, that the syllabary survived until 50 B.C. Now this is an important claim, partly because it would add from two to three centuries to the life-span of a script already in possession of a long and reputable lineage; more particularly because, if true, it will convict the ancient Cypriot, admittedly a conservative individual, of a degree of conservatism with which I find it hard to credit even him. That there should still have been men in the hinterland of the island under the governorship of Cicero so little affected by the impact of the whole Hellenistic age that they were prepared to write Greek in a manner so uncouth and preserve, incidentally, certain elements of their old Arcadian tongue, is to my thinking highly improbable. A fresh examination of the evidence on which Mrs. Dohan and Professor Kent based their claim is clearly called for. (shrink)